30061. Theory and Practice of Model Transformations
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Model-driven software architecture -- Congresses,Computer science,Computer Communication Networks,علوم کامپیوتر,شبکه‌های ارتباطی کامپیوتری
رده :
E-Book
,
30062. Theory and Practice of Model Transformations
پدیدآورنده: / Laurence Tratt, Martin Gogolla
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30063. Theory and Practice of Model Transformations
پدیدآورنده: / Dimitris Kolovos, Manuel Wimmer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30064. Theory and Practice of Model Transformations
پدیدآورنده: / Jordi Cabot, Eelco Visser
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30065. Theory and Practice of Model Transformations
پدیدآورنده: edited by Zhenjiang Hu, Juan Lara
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
30066. Theory and Practice of Natural Computing
پدیدآورنده: / Vide, Bianca Truthe-nکHoria Dediu, Carlos Mart-Adrian
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
30067. Theory and Practice of Natural Computing
پدیدآورنده: / Vide-nکHoria Dediu, Manuel Lozano, Carlos Mart-Adrian
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
30068. Theory and Practice of Natural Computing
پدیدآورنده: \ Carlos Martín-Vide, Roman Neruda, Miguel A. Vega-Rodríguez (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer networks,کامپیوتر,شبکه‌های کامپیوتری,a03,a04,a03,a04
رده :
E-Book
,
30069. Theory and Practice of Natural Computing
پدیدآورنده: / guezکRodr-Vide, Bianca Truthe, Miguel A. Vega-nکHoria Dediu, Carlos Mart-Adrian
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
30070. Theory and Practice of Parallel Programming :
پدیدآورنده: edited by Takayasu Ito, Akinori Yonezawa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer system failures.,Microprocessors.
رده :
TK7895
.
M5
E358
1995
30071. Theory and Practice of Uncertain Programming
پدیدآورنده: by Baoding Liu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer simulation.,Operations research.
30072. Theory and Practice of the Triple Helix Model in Developing Countries : B5Issues and Challenges
پدیدآورنده: / Saad, Mohammed
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
30073. Theory and PracticeتOptimization
پدیدآورنده: / Wilhelm Forst, Dieter Hoffmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30074. Theory and applications of models of computation :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
30075. Theory and applications of models of computation :
پدیدآورنده: Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb
30076. Theory and applications of models of computation
پدیدآورنده: Mitsunori Ogihara, Jun Tarui (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer science, Congresses.
30077. Theory and applications of models of computation :
پدیدآورنده: T.V. Gopal, Junzo Watada (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
رده :
QA76
.
9
.
M35
T35
2019eb
30078. Theory and applications of relational structures and knowledge instruments :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Relationism ;
30079. Theory and applications of relational structures as knowledge instruments
پدیدآورنده: / Harrie de Swart ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Relationism.
رده :
QA
,
76
,.
T483
,
2003
30080. Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers
پدیدآورنده: Harrie de Swart...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Rationalism
رده :
QA
76
.
L28
Vol
.
2929
